Disproving the Single Level Conjecture
نویسندگان
چکیده
منابع مشابه
Disproving the Single Level Conjecture
We consider the size of monotone circuits for quadratic boolean functions, that is, disjunctions of length-2 monomials. Our motivation is that a good (linear in the number of variables) lower bound on the monotone circuit size for a certain type of quadratic function would imply a good (even exponential) lower bound on the general non-monotone circuit size. To get more insight into the structur...
متن کاملDisproving the Neighborhood Conjecture
We study the following Maker/Breaker game. Maker and Breaker take turns in choosing vertices from a given n-uniform hypergraph F , with Maker going first. Maker’s goal is to completely occupy a hyperedge and Breaker tries to avoid this. Beck conjectures that if the maximum neighborhood size of F is at most 2 then Breaker has a winning strategy. We disprove this conjecture by establishing an n-u...
متن کاملDisproving Hibi’s Conjecture with CoCoA or Projective Curves with bad Hilbert Functions
In this paper we show how to combine different techniques from Commutative Algebra and a systematic use of a Computer Algebra System (in our case mainly CoCoA (see [G-N] and [A-G-N])) in order to explicitly construct Cohen-Macaulay domains, which are standard k -algebras and whose Hilbert function is “bad”. In particular we disprove a well-known conjecture by Hibi. To be more precise, we recall...
متن کاملDisproving False Conjectures
For automatic theorem provers it is as important to disprove false conjectures as it is to prove true ones, especially if it is not known ahead of time if a formula is derivable inside a particular inference system. Situations of this kind occur frequently in inductive theorem proving systems where failure is a common mode of operation. This paper describes an abstraction mechanism for first-or...
متن کاملthe underlying structure of language proficiency and the proficiency level
هدف از انجام این تخقیق بررسی رابطه احتمالی بین سطح مهارت زبان خارجی (foreign language proficiency) و ساختار مهارت زبان خارجی بود. تعداد 314 زبان آموز مونث و مذکر که عمدتا دانشجویان رشته های زبان انگلیسی در سطوح کارشناسی و کارشناسی ارشد بودند در این تحقیق شرکت کردند. از لحاظ سطح مهارت زبان خارجی شرکت کنندگان بسیار با هم متفاوت بودند، (75 نفر سطح پیشرفته، 113 نفر سطح متوسط، 126 سطح مقدماتی). کلا ...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SIAM Journal on Computing
سال: 2006
ISSN: 0097-5397,1095-7111
DOI: 10.1137/s0097539705447001